Albert Benveniste , Paul Caspi , Paul

نویسندگان

  • Albert Benveniste
  • Paul Caspi
  • Paul Le Guernic
چکیده

In this paper, we present a theory of synchronous data-ow languages. Our theory is supported by both some heuristic analysis of applications and some theoretical investigation of the data-ow paradigm. Our model covers both behavioural and operational aspects, and allows both synchronous and asynchronous styles of implementation for synchronous programs. This model served as a basis to establish the gc common format for synchronous data-ow languages. This work has been supported, through several contracts in the framework of C 2 A{group, by Minist ere de la Recherche et de l'Espace, Minist ere de l'Industrie (SERICS), and Minist ere de la D efense (DRET). This paper has been presented as an invited lecture at the REX Langages a ots de donn ees synchrones R esum e : On pr esente une th eorie des langages a ots de donn ees synchrones. On justiie l'hypoth ese synchrone par la double n ecessit e de m emoire et temps de r eponse born es. Le mod ele que nous proposons prend en compte a la fois les aspects comportementaux et op erationnels. En particulier, l'ex ecution d esyn-chronis ee de programmes synchrones est etudi ee sur le plan fondamental.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Synchronous Languages Twelve Years Later

Twelve years ago, Proceedings of the IEEE devoted a special section to the synchronous languages. This article discusses the improvements, difficulties, and successes that have occured with the synchronous languages since then. Today, synchronous languages have been established as a technology of choice for modeling, specifying, validating, and implementing real-time embedded applications. The ...

متن کامل

Data-Flow Synchronous Languages

In this paper, we present a theory of synchronous data-flow languages. Our theory is supported by both some heuristic analysis of applications and some theoretical investigation of the data-flow paradigm. Our model covers both behavioural and operational aspects, and allows both synchronous and asynchronous styles of implementation for synchronous programs. This model served as a basis to estab...

متن کامل

The synchronous languages 12 years later

Twelve years ago, PROCEEDINGS OF THE IEEE devoted a special section to the synchronous languages. This paper discusses the improvements, difficulties, and successes that have occured with the synchronous languages since then. Today, synchronous languages have been established as a technology of choice for modeling, specifying, validating, and implementing real-time embedded applications. The pa...

متن کامل

Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment

We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques can be derived. We illustrate this by two cases: the deployment of synchronous designs over GALS architectures, and the deployment of synchronous designs over the so-called Loosely Time-Triggered Architectures.

متن کامل

Toward an Approximation Theory for Computerised Control

This paper addresses the question of extending the usual approximation and sampling theory of continuous signals and systems to those encompassing discontinuities, such as found in modern complex control systems (mode switches for instance). We provide some evidence that the Skorokhod topology is a good candidate for dealing with those cases in a uniform manner by showing that, in the boolean c...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1993